A Comparison of Object Modelling Notations: Alloy, UML and Z
نویسنده
چکیده
An example of an object model is given in full in three languages: Alloy, a new notation; Z, a formal specification language; and UML, a modelling notation popular in industry. Basic features of Alloy are explained informally, and briefly justified by comparison of the Alloy version to the UML and Z versions.
منابع مشابه
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
UML, and other object-oriented approaches to system specification and design, are increasingly popular in industry. Many attempts have been made to formalise either the notations, the system models produced using these notations, or both. However, there have been no attempts to compare the expressiveness of the formal approaches. This paper compares Z and Object-Z approaches to object-oriented ...
متن کاملAlloy: A New Object Modelling Notation
Alloy is a lightweight, precise and tractable notation for object modelling. It attempts to combine the practicality of UML’s static structure notation with the rigour of Z, and to be expressive enough for most object modelling problems while remaining amenable to automatic analysis. Alloy has a textual notation, of which a subset is also expressible graphically. It has a simple set-based seman...
متن کاملUML2ALLOY: A tool for lightweight modelling of discrete event systems
Alloy is a textual language developed by Daniel Jackson and his team at MIT. It is a formal language, which has a succinct syntax and allows specification and automatic analysis of a wide variety of systems. On the other hand, the Unified Modelling Language (UML) is a semi-formal language, which is accepted by the software engineering community as the defacto standard for modelling, specificati...
متن کاملConstraint Diagrams: A Step Beyond UML
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An exception to this is the Object Constraint Language (OCL) which is essentially a textual, stylised form of first order predicate logic. We describe a notation, constraint diagrams, which were introduced as a visual techn...
متن کاملWebML modelling in UML
In recent years, we have witnessed how the Web Engineering community has started using the standard unified modelling language (UML) notation, techniques and supporting tools for modelling Web systems, which has led to the adaptation to UML of several existing modelling languages, notations and development processes. This interest for being MOF and UML-compliant arises from the increasing need ...
متن کامل